翻訳と辞書 Words near each other ・ Window Maker ・ Window manager ・ Window Media ・ Window Observational Research Facility ・ Window of opportunity ・ Window of Opportunity (Stargate SG-1) ・ Window of the World ・ Window of the World (Changsha) ・ Window of the World Monorail ・ Window of the World Station ・ Window on China Theme Park ・ Window on Main Street ・ Window on the Plains Museum ・ Window on the World ・ Window on the World (disambiguation) ・ Window operator ・ Window paper-cuts ・ Window Peak ・ Window period ・ Window Rock Airport ・ Window Rock High School ・ Window Rock Unified School District ・ Window Rock, Arizona ・ Window screen ・ Window seat ・ Window Seat (song) ・ Window seat (type of sofa) ・ Window Seats ・ Window Shopper ・ Window Shopping Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Window operator ： ウィキペディア英語版 Window operator In modal logic, the window operator $\backslash triangle$ is a modal operator with the following semantic definition: $M,w\backslash models\backslash triangle\backslash phi\; \backslash iff\; \backslash forall\; u,\; M,u\backslash models\backslash phi\backslash Rightarrow\; Rwu$ for $M=(W,R,f)$ a Kripke model and $w,u\backslash in\; W$. Informally, it says that ''w'' "sees" every φ-world (or every φ-world is seen by ''w''). This operator is not definable in the basic modal logic (i.e. some propositional non-modal language together with a single primitive "necessity" (universal) operator, often denoted by '$\backslash square$', or its existential dual, often denoted by '$\backslash Diamond$'). Notice that its truth condition is the converse of the truth condition for the standard "necessity" operator. For references to some of its applications, see the References section. == References == * 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Window operator」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.